1. Foundations; essay in philosophy, logic, mathematics and economics
پدیدآورنده: / F. P. Ramsey,Ramsey
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار كتابهای خارجی (خراسان رضوی)
موضوع: Logic, Symbolic and mathematical -- Addresses, essays, lectures
رده :
511
.
308
R181F
2. From Frege to Godel; a source book in mathematical logic, 1879-1931
پدیدآورنده: Van Heijenoort, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Mathematics-- Philosophy-- Addresses, essays, lectures
رده :
QA
9
.
V3
3. From Frege to Godel; a source book in mathematical logic, 1879-1931
پدیدآورنده: Van Heijenoort, Jean, 2191-6891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
QA
9
.
V34
4. Logic and knowledge; essays,1901 -1950
پدیدآورنده: / Edited by Robert Charles Marsh,Russell
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Philosophy - Addresses, essays, lectures,Logic, symbolic and mathematical -- Addresses, essays, lectures
رده :
B
1649
.
R93L6
1971
5. Logic and knowledge ; essays, 1901-1950
پدیدآورنده: / Edited by Robert Charles Marsh
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Philosophy - Addresses, essays, lectures,Logic, Symbolic and mathematical - Addresses, essays, lectures
رده :
B1649
.
R93L6
6. Logic and knowledge; essays, 1901-1950
پدیدآورنده: / Edited by Robert Charles Marsh,Russell
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Philosophy -- Addresses, essay, Iectures,Logic, Symbolic and mathematical -- Addresses, essays, lectures
رده :
B
1649
.
R93L6
1956
7. Logic and knowledge; essays, 1901-1950
پدیدآورنده: / Edited by Robert Charles Marsh
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Philosophy - Addresses, essays, lectures,Logic, Symbolic and mathematical - Addresses, essays, lectures
رده :
192
Ru-L
8. Logic colloguium 69; proceedings of the summer school and colloquium in mathematical logic, Manchester, Auqust, 1969
پدیدآورنده: / edited by R. O. Gandy, C. M. E. Yates
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, symbolic and mathematical - Addresses, essays, lectures
رده :
511
.
3
L832
9. Logic of programs : Workshop, ETH Zurich, May-July 1979
پدیدآورنده: edited by Erwin Engeler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Computer programs,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
125
10. Logical investigations
پدیدآورنده: Frege, Gottlob, 8481-5291
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
B
3245
.
F23L63
11. Logical writings
پدیدآورنده: / Edited by Warren D. Goldfarb, a translation of the ecrits logiques, edited by Jean Van Heijenoort,Herbrand
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical -- Addresses, essays, lectures
رده :
BC
135
.
H38
12. Mathematical logic, the theory of algorithms and the theory of sets : dedicated to Academician Petr sergeevic Novikov on his seventieth birthday
پدیدآورنده: edited by S. I. Adjan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Algorithms,Addresses, essays, lectures ، Set theory
رده :
QA
1
.
P736
Vol
.
133
13. Papers in philosophical logic
پدیدآورنده: Lewis, David K.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical.
رده :
BC
135
.
L4P3
14. Proceedings
پدیدآورنده: Tarski Symposium, 1791, University of California, Berkeley
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematics-- Addresses, essays, lectures,، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Tarski, Alfred-- Bibliography
رده :
QA
7
.
T34
1971
15. Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O.
پدیدآورنده: Summer School in Logic, Leeds, Eng
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
70
16. Selected works
پدیدآورنده: Lukasiewicz, Jan
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Addresses, Essays, lectures ، Logic, Symbolic and mathematical
رده :
BC
135
.
L825
17. Studies in foundations and combinations
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Addresses, essays, lectrures ، Combinatorial analysis,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
164
.
S85
18. The Calculi of symbolic logic, 1
پدیدآورنده: edited by V. P. Orevkov
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
1
.
P736
Vol
.
98
19. The Calculi of symbolic logic, 1
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
98
1968
20. The Logic of decision and action
پدیدآورنده: / Edited by Nicholas Rescher.Essays by Alan Ross Anderson [and others]With comments by R.Ackermann[and others. Pittsburgh]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical -- Addresses, essays, lectures,Decision- making--Addresses, essays, lectures.,Act.(Philosophy)-- Addresses,essays,lectures
رده :
BC
135
.
L58
